Euclidean group definition